$\forall$$l$:IdLnk, ${\it tg}$:Id, $L$:(Knd List). $\vdash$${\it es}$.only events in $L$ send on $l$ with ${\it tg}$